281. The history of mathematics :
پدیدآورنده: Roger Cooke
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- History
رده :
QA21
.
C649
2005
282. The innovation in computing companion :
پدیدآورنده: Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
رده :
QA76
.
5
.
O74
2018
283. The little typer /
پدیدآورنده: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
284. The logic of Infinity /
پدیدآورنده: Barnaby Sheppard
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA248
.
S44
2014
285. The logics of deflation :
پدیدآورنده: Roberts, John
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
286. The medium of contingency :
پدیدآورنده: Elie Ayache
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Contingencies in finance,Derivative securities-- Prices
رده :
HG6024
.
A3
A953
2015
287. The metamorphosis of heads :
پدیدآورنده: Denise Y. Arnold with Juan de Dios Yapita
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Aymara Indians-- Education,Inca textile fabrics,Indian literature-- Criticism, Textual,Indians of South America-- Andes Region-- Languages-- Writing,Indians of South America-- Education-- Bolivia,Literacy-- Bolivia,Quipu,Transmission of texts-- Andes Region,Peru, History, Conquest, 1522-1548,Spain, Colonies, America, Administration, 0, 0
رده :
F3320
.
1
.
E4
A7513
2006
288. The (new) Turing omnibus :
پدیدآورنده: A.K. Dewdney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
289. The notion of relevance in information science :
پدیدآورنده: Tefko Saracevic.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information retrieval.,Relevance logic.,Information retrieval.,LITERARY CRITICISM-- Books & Reading.,Relevance logic.
رده :
ZA3075
.
S276
2017
290. The origin of the logic of symbolic mathematics :
پدیدآورنده: Burt C. Hopkins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
H66
2011
291. The surveillance web :
پدیدآورنده: McCahill, Michael
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Social policy
292. The symbolic computation of integrability structures for partial differential equations /
پدیدآورنده: Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
رده :
QA377
293. Theories and simulations of complex social systems
پدیدآورنده: / Vahid Dabbaghian, Vijay Kumar Mago, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Social systems, Simulation methods,System analysis,Electronic books
رده :
E-BOOK
294. Theory of Digital Automat
پدیدآورنده: / by Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Logic design,Mathematics,Systems engineering,Electronic books
رده :
E-BOOK
295. Theory of fuzzy computation
پدیدآورنده: Syropoulos, Apostolos, Apostolos Syropoulos
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Fuzzy logic,Mathematics ، Computer science,، Computer science -- Mathematics,، Fuzzy logic,، Number theory
رده :
QA9
.
64
296. There's something about Gödel :
پدیدآورنده: Francesco Berto
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
297. Thinking mathematically /
پدیدآورنده: Robert Blitzer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Textbooks.,Mathematics.
رده :
QA39
.
3
.
B59
2019
298. Towards an arithmetical logic :
پدیدآورنده: by Yvon Gauthier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
299. Traffic Control and Transport Planning:
پدیدآورنده: by Dušan Teodorović, Katarina Vukadinović.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
